<?php
	// Redirige vers une autre page - $page : page vers laquelle il faut rediriger
	function redirect($page) {
		echo "<script type=\"text/javascript\">document.location='$page';</script>";
		exit;
	}
	
	// Permet de renvoye selected si les deux test sont egaux
	function selected($test1,$test2) {
		return ($test1==$test2)? 'selected' : '';
	}

	// Permet de renvoye checked si les deux test sont egaux
	function checked($test1,$test2) {
		return ($test1==$test2)? 'checked' : '';
	}
	
	// Envoi un mail a une adresse avec un sujet et un message donne
	function envoi_mail($adresse,$sujet,$message) {
		$headers ='From: "aiscolai"<aiscolai@free.fr>'."\n";
		$headers .='Reply-To: aiscolai@free.fr'."\n";
		$headers .='Content-Type: text/html; charset="iso-8859-1"'."\n";
		$headers .='Content-Transfer-Encoding: 8bit';
		ini_set("SMTP","smtp.fr.oleane.com");
		return mail($adresse,$sujet,$message,$headers);
	}
?>
